The SAD System: a Current State and Future Work
نویسندگان
چکیده
The purpose of this communication is to outline briefly the current state of the so-called SAD system (System for Automated Deduction), present its architecture, and discus some possible ways of its further development. At that, the main attention is paid to the development of multiple language support of the SAD system as well as to the construction of SAD proof search methods, toolkit, and engine for making deduction in different first-order logics.
منابع مشابه
Forecasting Industrial Production in Iran: A Comparative Study of Artificial Neural Networks and Adaptive Nero-Fuzzy Inference System
Forecasting industrial production is essential for efficient planning by managers. Although there are many statistical and mathematical methods for prediction, the use of intelligent algorithms with desirable features has made significant progress in recent years. The current study compared the accuracy of the Artificial Neural Networks (ANN) and Adaptive Nero-Fuzzy Inference System (ANFIS) app...
متن کاملIran and the future of security arrangements in the Gulf region
The purpose of this paper is to examine the Persian Gulf system of cybernetics and the possibility of Iran's role and influence on the future of security arrangements in the Persian Gulf region. In this regard, the author describes the cybernetic theory in regional studies as a conceptual framework of the research to implement the hegemonic security system of the Persian Gulf. Then, by showing ...
متن کاملInformation and Communication Technologies (ICTs) Compliance of Extension Personnel Inimo State Agricultural Extension Service Delivery System of Nigeria
The purpose of the study was to examine compliance of extension personnel in Imo state agricultural extension service delivery system of Nigeria. A purposive and multi-stage random sampling was used to select 105 extension personnel from the three agricultural zones of the state. Data generated were analyzed using descriptive statistics such as frequencies and percentages, as well as mean score...
متن کاملEffects of dietary lead acetate and aluminosilicates on the antioxidative defense system of broilers’ muscle tissues
The objective of this study was to evaluate the effect of dietary supplements with lead acetate and aluminosilicates (ATN) on antioxidative enzyme activities and lipid peroxidation of the heart and skeletal muscle tissues of broiler chickens. Broilers were allotted to four diets including the control group, the Pb group, the aluminosilicate-ATN (antitoxic nutrient) group and the Pb+ATN group, i...
متن کاملI-4: Male Fertility Preservation Options, Current State-of-The ART and Future Implications
Background Male infertility management has made significant progress during the past three decades, especially after the introduction of intracytoplasmic sperm injection (ICSI) in 1992. However, many boys and men still suffer from primary testicular failure due to acquired or genetic causes. New and novel treatments are needed to address these issues. Spermatogenesis originates from spermatogon...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2017